$\forall$$L_{1}$, $L_{2}$:Top List, $n$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L_{1}$$\parallel$+1}}$. firstn($n$;$L_{1}$ @ $L_{2}$) $\sim$ firstn($n$;$L_{1}$)